programming correctness proof
英 [ˈprəʊɡræmɪŋ kəˈrektnəs pruːf]
美 [ˈproʊɡræmɪŋ kəˈrektnəs pruːf]
网络 程序正确性证明
双语例句
- Programming logic and program correctness proof
程序逻辑和程序正确性推导 - Many formal methods of programming specification and formal correctness proof appear, which take an important role in the development of the methodology for programming design.
许多程序规范与验证的形式化方法涌现出来，对程序设计方法学的发展起了积极的推动作用。